var cookie = new cookie();
var theme = cookie.get('theme');
if (theme)
	document.writeln('<link id="themeSwitch" rel="stylesheet" type="text/css" href="/media/css/theme' + theme + '.css">');
else
	document.writeln('<link id="themeSwitch" rel="stylesheet" type="text/css" href="/media/css/theme0.css">');

function changeTheme(theme){
	cookie.set('theme',theme);
	document.getElementById('themeSwitch').href = '/media/css/theme'+theme+'.css';
}